翻訳と辞書 |
Leo Harrington : ウィキペディア英語版 | Leo Harrington
Leo Anthony Harrington (born 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. * Harrington and Jeff Paris proved the Paris–Harrington theorem. * Harrington showed that if the Axiom of Determinacy holds for all analytic sets then x# exists for all reals x. * Harrington and Saharon Shelah showed that the first order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable. ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Leo Harrington」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|